c formula generated with seed 6, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 3, 5, 6, 10, 11, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 31, 32, 34, 35, 39, 40, 46, 49, 63, 68, 69, 70, 72, 73, 74, 76, 79, 80, 81, 83, 84, 86, 87, 89, 94, 95, 96, 98, 99, 100, 101, 102, 105, 106, 107, 109, 110, 114, 115, 119, 121, 123, 125, 126, 129, 131, 135, 136, 139, 147, 149, 151, 153, 155, 157, 161, 162, 166, 167, 170, 172, 175, 176, 177, 179, 180, 181, 182, 183, 186, 188, 190, 195, 196, 197, 199, 201, 202, 205, 209, 212, 213, 218, 221, 222, 226, 227, 228, 231, 236, 237, 242, 247, 249, 252, 255, 257, 260, 261, 262, 263, 265, 266, 276, 278, 279, 280, 281, 283, 284, 285, 290, 291, 292, 294, 296, 298, 300, 302, 304, 306, 308, 309, 310, 315, 316, 317, 318, 321, 322, 327, 329, 331, 332, 335, 336, 337, 338, 339, 341, 345, 347, 348, 352, 353, 355, 357, 360, 362, 363, 369, 370, 373, 374, 375, 376, 377, 378, 379, 380, 383, 384, 385, 391, 392, 393, 394, 397, 400, 405, 406, 409, 410, 411, 412, 413, 414, 415, 416, 418, 422, 424, 425, 429, 430, 434, 435, 436, 438, 439, 440, 441, 442, 445, 446, 449, 451, 453, 455, 460, 461, 465, 466, 467, 468, 469, 470, 471, 472, 473, 475, 479, 483, 484, 485, 487, 488, 490, 492, 493, 499, 501, 502, 503, 505, 506, 508, 514, 516, 517, 520, 526, 528, 531, 532, 533, 534, 538, 539, 540, 541, 542, 545, 549, 550, 551, 552, 555, 557, 562, 565, 571, 572, 573, 574, 575, 578, 582, 583, 584, 586, 590, 591, 594, 599}
p cnf 600 2646
-272 517 125 0
-376 560 -407 0
345 -400 -564 0
-442 453 -179 0
401 -351 367 0
585 526 -316 0
-436 -361 -221 0
-323 -598 -37 0
-223 -527 -191 0
-495 599 -566 0
-21 84 -86 0
590 -294 -467 0
476 269 -25 0
51 -245 293 0
237 32 -53 0
596 184 -474 0
131 -77 186 0
-2 -321 530 0
-85 -53 -52 0
-353 209 -348 0
-297 550 414 0
591 61 420 0
580 -522 -74 0
283 581 -265 0
-464 -375 504 0
-176 369 239 0
-424 -481 -516 0
-568 25 30 0
-2 -288 -200 0
-51 -548 227 0
588 -431 -451 0
44 -576 350 0
-481 448 230 0
556 527 -478 0
-530 -261 513 0
-185 195 -299 0
-264 -59 380 0
-39 -171 598 0
199 -129 -6 0
-127 169 463 0
278 330 556 0
-403 83 355 0
-498 -290 17 0
-151 87 5 0
-106 -160 -540 0
-594 41 -432 0
-557 510 -143 0
-301 575 -556 0
-556 -319 -191 0
-125 -417 585 0
185 44 -142 0
107 -68 134 0
-60 -556 -494 0
182 -399 161 0
457 30 -547 0
-155 472 -488 0
250 -479 107 0
-545 -84 -140 0
227 463 -35 0
345 32 -548 0
69 -91 318 0
318 -556 20 0
-523 509 85 0
318 -463 -478 0
-543 477 536 0
486 147 25 0
559 575 -454 0
462 -241 -380 0
224 -537 -181 0
-403 430 -184 0
-433 -454 -511 0
-334 -474 303 0
-158 594 505 0
590 93 -512 0
-295 -372 -433 0
511 -147 283 0
165 -205 321 0
549 36 423 0
-457 502 -55 0
-487 -571 -346 0
-300 -382 50 0
-175 572 -460 0
-297 438 541 0
599 -29 185 0
-75 -98 486 0
-520 -9 17 0
-443 -184 40 0
562 -65 -367 0
573 517 373 0
-65 451 -314 0
370 -295 275 0
-184 -85 -65 0
586 449 -558 0
-562 -316 209 0
559 -87 262 0
-423 -322 -280 0
-354 -449 511 0
177 -445 234 0
401 -324 -380 0
396 311 -372 0
287 -42 207 0
471 -587 483 0
102 -131 -110 0
-499 329 -235 0
117 -513 504 0
220 -483 167 0
-342 -359 -402 0
-430 177 514 0
-265 -237 -120 0
-110 581 370 0
-270 177 465 0
-408 -427 46 0
578 -423 247 0
444 -386 576 0
-64 596 122 0
-289 155 -527 0
-49 -64 -115 0
368 -90 -430 0
550 509 205 0
177 -249 -261 0
202 58 44 0
-406 -149 -66 0
-27 577 465 0
99 113 189 0
254 -444 164 0
22 -51 -570 0
-214 -584 55 0
-431 193 -418 0
51 -145 -135 0
-188 -407 593 0
-303 -93 487 0
-474 388 -304 0
88 441 -136 0
-285 -532 -297 0
-130 -224 166 0
-564 -128 -264 0
-234 -491 349 0
94 563 -281 0
469 232 -74 0
-264 346 -422 0
399 194 109 0
-335 -414 28 0
250 472 -361 0
490 533 394 0
66 -17 -10 0
-585 81 -178 0
241 -557 322 0
-446 -340 4 0
382 -156 -212 0
-339 -153 -293 0
-218 253 5 0
-47 307 -5 0
-156 -253 374 0
-442 -239 543 0
-217 322 -518 0
-586 -296 -346 0
-37 -434 324 0
463 304 580 0
341 415 327 0
210 -395 404 0
-152 103 240 0
-426 356 -466 0
263 83 -303 0
-340 -220 304 0
-581 478 -110 0
-437 441 378 0
211 54 -145 0
13 -83 24 0
393 -497 331 0
522 57 -452 0
-169 466 435 0
557 -483 -291 0
-220 531 -178 0
-169 227 -122 0
-341 452 -145 0
329 -235 -518 0
103 -418 -563 0
-524 253 -13 0
5 -108 520 0
-296 262 554 0
172 -489 94 0
-536 -558 -530 0
141 -404 -438 0
-583 223 247 0
-224 9 -540 0
426 -117 255 0
406 261 376 0
473 -291 588 0
-136 -178 443 0
249 -511 -158 0
-515 350 -505 0
-524 -484 -13 0
-349 -156 226 0
-549 37 -474 0
-91 534 335 0
-499 -507 -517 0
171 407 -587 0
-589 -142 374 0
356 57 135 0
-168 118 -490 0
102 -329 165 0
-478 137 145 0
-232 -59 -159 0
-284 49 -281 0
-548 -6 325 0
290 -83 -331 0
293 -26 -165 0
418 -203 -4 0
558 443 322 0
337 -536 182 0
357 -58 109 0
111 -314 54 0
-584 -83 300 0
175 20 27 0
-341 -56 399 0
348 -219 -307 0
-301 -94 -532 0
-19 -181 -512 0
210 -55 -20 0
-10 379 187 0
225 -510 12 0
-136 -156 -125 0
32 -492 481 0
530 538 517 0
11 578 95 0
-69 270 540 0
-364 140 -584 0
104 72 38 0
-77 406 355 0
-80 -227 327 0
-313 83 -407 0
-386 426 -425 0
101 -161 -110 0
-204 336 310 0
-420 -85 3 0
-515 526 385 0
419 -555 -437 0
-163 557 39 0
284 10 105 0
-526 531 -347 0
122 148 -295 0
-419 -119 -310 0
185 -107 -273 0
-541 569 -272 0
9 501 -539 0
517 518 146 0
-114 -250 142 0
-525 -387 329 0
114 269 -475 0
-5 -285 517 0
59 -144 118 0
-194 -479 -370 0
336 6 -417 0
-202 264 460 0
-119 192 201 0
-204 -4 -328 0
512 -53 532 0
-186 495 -274 0
35 135 -444 0
-325 177 499 0
111 -70 505 0
-315 330 -408 0
-450 -351 455 0
37 437 -184 0
270 -429 501 0
-155 585 413 0
123 -460 204 0
360 -176 -531 0
-448 57 229 0
-591 240 -544 0
-539 345 108 0
-375 -546 152 0
-204 -370 75 0
-225 -378 482 0
584 407 -498 0
178 430 548 0
-31 -75 287 0
498 261 401 0
4 -197 318 0
-351 -555 191 0
246 317 559 0
-240 -16 -563 0
201 -8 355 0
-284 390 -258 0
-533 52 -232 0
112 -39 -122 0
-565 -291 526 0
10 100 102 0
281 113 -28 0
364 -204 -378 0
-179 -379 -58 0
-299 -494 142 0
-42 -330 -402 0
-468 113 -595 0
-97 561 535 0
-132 433 -322 0
-121 -61 -469 0
302 272 340 0
294 -51 -246 0
-535 -142 -48 0
-353 -423 -105 0
-17 206 45 0
143 280 -260 0
-529 341 552 0
-550 -582 -592 0
26 -489 459 0
-497 440 -569 0
-117 -179 -309 0
380 501 -234 0
552 137 -179 0
365 258 562 0
22 -464 -311 0
-11 -300 -558 0
-95 -535 -266 0
-17 -584 37 0
-108 558 -527 0
242 50 576 0
570 191 -65 0
119 -345 -499 0
-154 120 116 0
-28 585 298 0
584 -50 -99 0
-125 580 -244 0
-551 60 -271 0
15 -244 257 0
-310 -538 -204 0
-455 -214 65 0
585 -456 -475 0
-347 252 130 0
57 -532 -117 0
263 276 190 0
-462 -433 -232 0
-92 -15 250 0
-385 74 -315 0
279 250 -243 0
-581 39 107 0
-194 -283 -181 0
-288 -76 -179 0
-441 306 312 0
-464 288 135 0
456 -160 325 0
361 -45 -87 0
416 213 151 0
-600 -506 589 0
72 482 -311 0
-168 541 -178 0
-203 509 443 0
-350 -579 -344 0
-88 457 -284 0
65 69 319 0
-104 469 -324 0
301 -182 -128 0
198 187 392 0
-346 493 -289 0
-414 -42 -101 0
512 -595 433 0
77 -178 -83 0
-425 115 -280 0
344 518 149 0
259 -349 -583 0
508 466 533 0
-449 477 -330 0
155 488 549 0
315 -274 -248 0
286 592 304 0
521 -270 561 0
-484 -11 18 0
-497 -475 97 0
91 -122 61 0
15 -185 -464 0
-149 -451 445 0
364 310 444 0
442 -156 384 0
-310 143 10 0
-594 -421 -442 0
-183 -503 -443 0
-485 -383 -93 0
126 -33 424 0
-178 -439 25 0
88 483 -434 0
-281 -198 521 0
-2 426 -505 0
463 -591 -525 0
-54 550 35 0
-307 -44 520 0
441 138 -87 0
74 -83 251 0
391 18 552 0
-76 -184 117 0
-225 328 -488 0
226 -257 230 0
50 -411 -478 0
502 534 -239 0
-16 482 148 0
524 -487 488 0
-419 -364 322 0
578 -294 104 0
371 282 228 0
-188 399 -117 0
478 -47 -429 0
-289 268 67 0
328 312 -148 0
487 -66 360 0
42 192 -239 0
-143 -194 49 0
-345 367 424 0
-23 226 -551 0
166 -324 218 0
169 576 110 0
-578 322 104 0
-85 181 316 0
329 -91 363 0
-98 352 152 0
84 306 -134 0
278 36 426 0
574 -217 -417 0
-22 -388 566 0
-47 578 -351 0
438 -457 -494 0
217 197 512 0
-454 465 -269 0
-289 -204 538 0
487 -222 398 0
10 -377 -574 0
145 -456 -310 0
-65 16 297 0
-386 -543 479 0
393 -438 -578 0
319 -532 306 0
524 192 -275 0
529 297 479 0
-207 -144 548 0
-178 -141 573 0
-490 261 456 0
-96 -419 -365 0
74 -527 -275 0
264 -105 -447 0
-538 -597 551 0
144 -15 392 0
242 -198 -426 0
17 -557 -272 0
31 -463 391 0
515 110 -139 0
-548 -281 225 0
278 -484 -46 0
201 -502 -393 0
-146 531 -211 0
-239 597 -468 0
483 242 -444 0
-35 529 -44 0
216 -504 -275 0
455 381 -155 0
-125 332 206 0
222 -225 -513 0
-589 31 -468 0
-379 -327 -399 0
-573 -101 -459 0
-26 -129 -442 0
-27 -14 35 0
579 353 -394 0
-597 579 -393 0
-551 -28 355 0
-346 344 -157 0
-58 220 158 0
-344 -263 44 0
524 465 37 0
-513 49 166 0
406 -151 -534 0
579 -381 397 0
-225 -7 15 0
467 445 539 0
-262 437 -450 0
406 390 -392 0
98 -231 178 0
-587 375 -259 0
-512 -10 -284 0
-290 -357 -477 0
-3 -398 527 0
415 -388 69 0
394 310 -246 0
591 -4 -384 0
341 363 95 0
-324 575 -273 0
14 417 -106 0
275 469 111 0
334 -135 -210 0
-61 -552 462 0
227 352 -512 0
595 11 456 0
433 -96 -543 0
271 383 -541 0
-191 -267 179 0
487 106 205 0
262 -164 339 0
-133 -504 -256 0
304 345 -143 0
101 -1 590 0
-232 106 -444 0
-197 55 -323 0
310 102 -523 0
45 421 -7 0
457 -589 -541 0
-109 494 -55 0
349 -356 297 0
164 -269 -228 0
52 456 -59 0
-300 175 146 0
541 568 48 0
182 138 -508 0
-463 -283 -352 0
208 -484 -17 0
93 -241 -369 0
-474 475 -160 0
-226 25 506 0
-207 -334 449 0
-108 -540 -469 0
-361 279 -108 0
-232 -20 -572 0
579 4 316 0
-151 476 583 0
-259 -387 46 0
-5 -359 -49 0
-525 124 78 0
-40 -171 402 0
-512 -389 161 0
-163 582 1 0
567 -498 44 0
-286 -259 -567 0
-439 226 61 0
-492 40 354 0
522 -255 -293 0
-233 538 105 0
-94 358 -311 0
-569 580 463 0
-307 -530 -423 0
153 271 23 0
-159 -386 -382 0
-68 -502 89 0
-138 292 231 0
541 90 -197 0
298 576 203 0
400 -209 568 0
266 -234 -211 0
149 280 -4 0
463 -36 215 0
-259 -185 219 0
-483 453 411 0
-109 121 112 0
318 -217 -486 0
68 -207 151 0
-549 59 -220 0
-21 -577 452 0
245 -480 278 0
-404 -484 185 0
-169 209 -163 0
41 584 330 0
546 -102 -544 0
-249 570 -91 0
473 -291 51 0
-545 -566 -551 0
-299 -434 47 0
-124 56 51 0
396 -450 -392 0
577 319 -41 0
214 -223 -31 0
225 234 -477 0
-30 157 -132 0
-475 -358 36 0
382 72 364 0
-130 161 -481 0
200 27 -161 0
-333 528 375 0
-326 46 -244 0
168 -255 -326 0
-204 -104 -361 0
127 -368 171 0
128 -49 -387 0
-163 333 16 0
201 142 589 0
281 352 -165 0
-319 81 -498 0
53 -510 -539 0
-287 495 64 0
487 590 19 0
-303 302 105 0
-433 -310 17 0
-410 295 -192 0
-225 73 -489 0
-440 -271 417 0
499 -405 224 0
490 276 385 0
565 337 -301 0
293 575 -166 0
-286 330 -344 0
-334 12 569 0
412 480 -99 0
594 -2 -4 0
-101 259 278 0
-133 37 579 0
547 -18 -513 0
-234 110 410 0
594 211 -22 0
-96 -297 -441 0
-389 -349 13 0
296 442 24 0
-565 -142 259 0
228 232 214 0
273 594 597 0
40 478 -353 0
-237 86 60 0
363 -463 -194 0
105 421 351 0
-599 326 -459 0
323 -545 -77 0
-383 -351 185 0
-597 34 -293 0
-95 -376 505 0
219 -382 104 0
-234 -489 374 0
-302 152 11 0
-286 -547 345 0
-257 363 -545 0
-335 242 229 0
580 443 205 0
442 -561 109 0
-4 -191 -324 0
-441 -36 208 0
-459 -372 317 0
68 -302 -21 0
-365 359 -209 0
-171 -167 -250 0
521 439 311 0
182 -28 25 0
237 -298 -549 0
102 -563 534 0
-477 -550 -27 0
519 -30 -469 0
-202 -229 -237 0
123 -246 -30 0
588 -172 -93 0
-309 3 104 0
551 363 129 0
-565 -84 -396 0
450 -542 -521 0
469 542 -535 0
-528 127 485 0
-529 -58 -586 0
132 466 33 0
191 -215 274 0
184 149 -348 0
126 -216 -403 0
454 -123 370 0
-472 -25 230 0
583 -135 -177 0
-117 -293 -443 0
-142 -169 309 0
10 530 402 0
-199 -70 -200 0
197 225 325 0
411 530 -376 0
3 -363 206 0
357 -182 -114 0
524 178 11 0
-353 -522 567 0
-121 -418 409 0
160 478 446 0
465 144 270 0
-371 594 13 0
-315 110 447 0
-258 -43 -346 0
593 -569 342 0
-253 -541 -249 0
-123 480 -524 0
238 585 182 0
-385 56 29 0
-8 -486 -136 0
291 -584 453 0
119 136 -561 0
381 464 374 0
457 -361 511 0
-98 276 59 0
-294 -216 328 0
-239 -285 -430 0
-208 547 -103 0
-85 -286 -58 0
66 -136 -343 0
-206 -569 472 0
216 505 343 0
-264 -38 -223 0
54 245 -498 0
-273 335 -45 0
-152 435 -58 0
46 -250 73 0
51 257 421 0
-337 -285 -30 0
-186 -258 328 0
-94 -202 430 0
-232 -280 510 0
109 169 269 0
-17 -502 -63 0
227 481 -376 0
220 -556 388 0
342 -114 466 0
304 -222 -227 0
389 -260 424 0
386 432 446 0
-177 -579 313 0
529 409 64 0
-226 364 115 0
-573 -269 50 0
489 535 107 0
480 264 161 0
283 -306 407 0
502 493 -552 0
-128 398 -172 0
-97 -573 -89 0
-184 -70 -555 0
-40 -543 -571 0
389 59 298 0
558 455 463 0
-272 334 37 0
-169 -251 335 0
-574 -340 -31 0
-404 427 -10 0
-134 -295 283 0
-596 314 313 0
398 458 -426 0
336 -183 328 0
-242 -443 274 0
-472 -239 233 0
18 388 -68 0
-569 37 305 0
152 591 -540 0
585 -120 43 0
-173 419 -131 0
-69 503 8 0
-243 -324 -498 0
78 232 -271 0
-85 337 -9 0
525 288 179 0
-190 182 -101 0
89 -417 520 0
264 -185 389 0
-423 101 -588 0
58 154 -211 0
-164 -170 324 0
-351 415 -108 0
465 165 -397 0
-326 -276 277 0
-434 307 -142 0
403 51 98 0
567 490 -357 0
381 139 56 0
199 -216 280 0
251 454 -145 0
-129 135 254 0
-371 451 435 0
-40 -348 81 0
27 366 135 0
-191 262 -546 0
285 539 -7 0
-321 -272 207 0
554 -288 -136 0
140 -73 190 0
-569 -521 -112 0
-386 -215 -259 0
578 -5 -291 0
392 277 -202 0
5 -469 504 0
-159 363 -158 0
-228 -493 -543 0
455 62 -337 0
-61 413 -158 0
534 -268 -600 0
47 -363 -200 0
53 -497 320 0
463 270 63 0
452 -402 427 0
101 -13 -364 0
528 86 180 0
584 485 298 0
424 536 -499 0
123 -526 52 0
172 -377 7 0
129 -45 -11 0
-3 -243 367 0
55 129 372 0
125 421 -528 0
364 -597 -545 0
-244 -144 322 0
428 264 72 0
302 379 505 0
452 366 472 0
-275 277 112 0
417 590 -549 0
175 -215 -8 0
393 -525 -108 0
-566 470 461 0
-62 214 256 0
-495 16 -39 0
194 71 139 0
550 -292 198 0
-347 -214 -69 0
-231 -201 -154 0
120 206 557 0
503 -458 552 0
28 -405 500 0
-354 391 -510 0
-338 291 325 0
189 328 573 0
-157 -583 -523 0
-406 226 -46 0
-490 273 -432 0
151 -322 399 0
209 -397 463 0
-516 -566 -586 0
-143 189 247 0
80 546 478 0
565 52 344 0
279 273 -380 0
81 -523 -42 0
-211 -234 309 0
214 192 -132 0
505 384 34 0
-135 173 266 0
-92 -431 -251 0
-179 -316 503 0
137 170 -533 0
114 -218 -571 0
-354 256 427 0
-587 379 -286 0
-405 29 -63 0
575 -192 467 0
221 -107 -35 0
-558 65 -237 0
329 -203 -390 0
-582 -104 -182 0
-91 -284 426 0
14 192 563 0
-423 595 220 0
-276 -510 229 0
-11 146 86 0
-218 -222 180 0
-400 247 174 0
-254 322 -403 0
-319 361 47 0
10 1 231 0
-523 -97 87 0
558 562 -377 0
7 234 -463 0
-342 -420 -124 0
-462 205 -120 0
502 130 553 0
490 -311 -387 0
103 -312 402 0
40 -37 33 0
-366 440 -173 0
184 -518 92 0
594 -142 -85 0
283 135 -163 0
497 223 -2 0
-179 249 -182 0
423 43 -371 0
-445 450 -303 0
109 244 59 0
-344 17 88 0
-297 288 340 0
525 357 -531 0
342 544 418 0
58 411 54 0
45 -201 540 0
-264 -360 -472 0
-110 390 369 0
-9 -426 172 0
-135 424 -309 0
144 51 -544 0
204 -304 -71 0
202 -568 -273 0
55 352 112 0
-372 235 160 0
-359 -71 -45 0
-156 -454 360 0
50 -150 559 0
411 405 -229 0
-480 -487 -74 0
-170 114 220 0
-512 -557 -397 0
-419 29 -168 0
-43 -507 416 0
-150 -392 -415 0
-395 452 60 0
371 40 -502 0
456 -447 585 0
34 -524 -165 0
183 -360 56 0
456 -568 417 0
567 -588 432 0
219 21 -290 0
374 500 200 0
-117 -13 474 0
128 -206 174 0
198 -93 -331 0
-11 192 -312 0
-104 119 -586 0
-467 -377 565 0
335 -471 580 0
-289 298 468 0
364 -245 111 0
477 46 -56 0
168 277 582 0
-116 180 562 0
-13 -232 513 0
260 -190 235 0
-184 -595 -118 0
-498 -255 174 0
-566 -575 -265 0
-480 -178 -17 0
-380 584 286 0
216 -121 -330 0
296 452 560 0
266 321 24 0
-575 -513 -446 0
35 -235 -311 0
-269 -63 -5 0
501 -409 177 0
-152 -39 85 0
4 -328 -506 0
457 476 317 0
254 -198 -376 0
-48 154 558 0
-167 418 -105 0
463 -447 536 0
464 -329 -510 0
20 -272 201 0
-268 27 -464 0
-129 -449 -143 0
-132 -514 -10 0
377 87 -527 0
-402 71 193 0
47 368 338 0
365 -420 -39 0
-166 -533 -82 0
126 -33 313 0
-244 481 217 0
326 165 -334 0
-133 575 221 0
367 -365 477 0
479 236 -254 0
-79 -154 287 0
7 105 564 0
311 -26 -538 0
-57 -120 -564 0
-172 -219 -182 0
149 -514 351 0
-344 -108 -191 0
103 106 -557 0
469 -12 -3 0
178 442 77 0
-573 8 190 0
-400 193 493 0
166 -46 7 0
420 -156 -276 0
-65 296 136 0
-208 -593 562 0
-527 147 -546 0
-330 392 -589 0
-450 474 -161 0
259 -422 -346 0
-516 128 -558 0
-189 -350 -396 0
360 527 -278 0
313 -132 366 0
-430 587 -173 0
148 -8 -503 0
327 -142 591 0
-350 62 -379 0
283 -475 193 0
-52 410 34 0
-323 39 374 0
141 -221 -273 0
101 383 -171 0
120 133 -346 0
519 -446 -512 0
-325 94 -529 0
292 -36 -364 0
576 -183 98 0
-453 -570 343 0
243 176 495 0
-536 304 -492 0
99 324 -470 0
-216 -470 97 0
264 -569 -180 0
-335 -556 -411 0
-482 594 177 0
600 -38 184 0
219 65 468 0
-418 -4 -331 0
-90 -449 -466 0
-220 272 269 0
283 -172 -121 0
10 125 362 0
-75 -493 234 0
-61 484 -269 0
499 462 561 0
-521 554 333 0
-533 -391 236 0
203 -382 293 0
312 326 -354 0
-546 -312 370 0
220 217 -137 0
483 -237 396 0
226 -537 -53 0
-336 -82 274 0
-477 525 585 0
441 128 295 0
279 -321 289 0
-114 -238 -453 0
136 -278 143 0
228 -90 -497 0
524 -429 -326 0
-14 413 -379 0
-46 -43 -180 0
176 183 -559 0
532 266 131 0
59 -94 545 0
-306 -597 282 0
502 -160 -253 0
60 -335 -8 0
-70 574 97 0
-246 -94 -115 0
-348 46 -579 0
311 -125 -588 0
-159 498 -291 0
39 -500 -60 0
275 478 -474 0
-16 -82 178 0
-578 121 500 0
-582 -517 -518 0
233 31 -352 0
-558 -72 427 0
-290 -217 -182 0
26 -270 -331 0
-55 -254 -184 0
-350 -20 529 0
42 66 502 0
283 -497 -432 0
210 198 129 0
-8 -497 -447 0
579 -187 -553 0
-593 528 61 0
-283 -229 -516 0
-439 -107 177 0
192 -163 395 0
-305 -155 338 0
398 -192 597 0
-345 394 17 0
-405 49 -353 0
-53 394 19 0
209 -311 131 0
247 -323 -527 0
256 -11 139 0
591 -340 -585 0
-263 463 362 0
-308 -56 401 0
-45 -422 229 0
-172 327 407 0
584 226 -163 0
341 528 29 0
192 516 540 0
389 585 -159 0
-237 -519 -290 0
528 -75 392 0
271 185 541 0
-201 578 7 0
107 437 365 0
429 -25 -240 0
160 -55 -170 0
150 548 -427 0
-191 80 -55 0
312 -458 -162 0
-16 -156 -381 0
-560 -542 -502 0
-289 -220 162 0
202 -458 562 0
557 -177 235 0
-225 -597 -593 0
-299 -478 405 0
-402 -424 17 0
-376 93 -428 0
336 137 346 0
542 -125 -411 0
-404 -466 150 0
-430 427 353 0
526 183 -96 0
166 305 -291 0
416 192 -161 0
-140 585 54 0
-482 -490 140 0
43 306 529 0
-210 -317 554 0
-384 -572 291 0
-514 -528 335 0
-158 363 337 0
218 547 -20 0
-531 375 -352 0
-259 347 598 0
-293 228 -158 0
-569 -463 526 0
29 502 249 0
-32 -487 -305 0
60 77 -254 0
-397 -194 -538 0
-152 -523 -299 0
-335 510 -120 0
392 11 -527 0
-107 453 -332 0
13 -461 -586 0
-419 7 -109 0
-584 -403 140 0
-250 470 -307 0
17 -128 -473 0
-342 69 378 0
-417 -17 -312 0
560 -462 -141 0
598 -506 -43 0
-512 53 158 0
63 206 535 0
-265 -252 -342 0
155 -7 -220 0
-491 -119 -475 0
-424 -529 -91 0
322 434 22 0
568 212 421 0
-407 204 569 0
71 -53 433 0
492 47 -126 0
-330 504 78 0
211 239 69 0
528 139 -420 0
-77 426 482 0
233 -309 541 0
321 170 -210 0
350 45 455 0
-260 275 -286 0
355 -296 90 0
543 -167 -4 0
-272 -463 -156 0
83 -560 -32 0
-465 -204 210 0
16 -184 499 0
258 -294 440 0
-18 313 -150 0
466 -99 -22 0
205 -549 91 0
391 525 107 0
269 41 177 0
-327 -377 -17 0
74 -493 -461 0
-338 339 -46 0
-296 593 -480 0
554 123 -266 0
155 -391 396 0
599 -68 -514 0
-413 -325 4 0
176 227 -563 0
-421 -332 -571 0
-532 -485 -207 0
98 -215 199 0
381 139 369 0
180 39 296 0
-435 557 481 0
49 218 -371 0
247 354 -210 0
-577 524 258 0
17 -409 392 0
-340 124 -455 0
-201 65 -419 0
-182 -60 -257 0
293 -361 -100 0
-241 134 537 0
369 -280 -161 0
64 -362 430 0
-428 55 -505 0
-335 -599 -275 0
-440 573 117 0
-315 -309 -458 0
581 164 369 0
-15 -290 -544 0
-175 184 -495 0
30 -298 -330 0
71 177 478 0
-466 242 -315 0
581 557 323 0
-156 -28 463 0
201 -359 425 0
95 -44 -569 0
-4 -455 -409 0
306 -54 -494 0
556 477 13 0
-474 -204 -530 0
489 -315 380 0
245 -337 -90 0
145 314 -225 0
-388 337 46 0
375 -590 -470 0
595 -481 -157 0
93 533 54 0
-393 118 -489 0
126 -329 498 0
91 -13 -140 0
194 -522 -280 0
386 400 -153 0
297 202 144 0
531 -461 -15 0
-169 213 -527 0
373 -537 -346 0
87 210 -329 0
16 250 316 0
-458 -360 -15 0
-307 598 -153 0
349 -348 376 0
361 -93 -360 0
-396 507 -99 0
-510 -336 111 0
-364 -213 -266 0
-180 368 -246 0
-145 -303 129 0
197 -205 -260 0
-310 -276 -238 0
130 -398 581 0
296 -69 444 0
-230 125 -159 0
325 21 47 0
-79 -600 -222 0
-110 -509 187 0
-398 -79 -531 0
-231 298 525 0
240 -532 315 0
574 18 -111 0
-162 459 -324 0
561 -88 -460 0
535 79 567 0
-510 496 -542 0
-464 554 -147 0
-305 -311 172 0
143 -229 515 0
469 147 -560 0
443 508 482 0
-133 310 -386 0
-265 -229 576 0
-539 311 209 0
130 -488 -8 0
-565 -402 359 0
-229 566 9 0
263 -284 491 0
-252 250 -419 0
-547 47 491 0
348 -7 517 0
-324 -524 378 0
42 -237 28 0
246 535 -367 0
-216 355 550 0
275 338 117 0
83 -534 536 0
-219 348 200 0
-250 472 -437 0
-474 -68 365 0
550 524 133 0
278 431 -552 0
214 100 -201 0
444 -594 205 0
386 -199 28 0
-280 18 -321 0
140 -300 5 0
360 -233 -187 0
-320 -315 456 0
-462 -583 600 0
-223 230 -263 0
354 -477 -226 0
-233 82 548 0
253 -416 -458 0
474 -5 -25 0
-206 -69 -11 0
-341 -7 61 0
580 -266 541 0
-428 516 538 0
145 -59 -369 0
-288 -448 -258 0
273 -259 -170 0
-455 224 -216 0
-413 -149 514 0
-470 160 411 0
209 -471 -242 0
501 -60 313 0
44 -502 322 0
118 -579 -493 0
-530 194 498 0
118 540 -170 0
136 293 -376 0
-446 -300 -344 0
369 -256 508 0
1 -76 -261 0
-53 -387 377 0
517 -346 -187 0
91 -146 -99 0
570 459 252 0
215 -452 -157 0
-269 37 -442 0
312 -248 195 0
-457 526 -214 0
366 119 158 0
80 -79 270 0
-180 481 531 0
396 -375 181 0
-43 -97 -64 0
321 -289 87 0
307 -176 131 0
324 430 556 0
-207 58 -205 0
-19 499 208 0
-8 539 -178 0
-84 3 -571 0
-397 -372 474 0
460 -83 -125 0
92 113 505 0
-401 153 -275 0
-79 -189 217 0
465 121 181 0
-493 121 -131 0
455 -530 -428 0
-193 -266 518 0
292 -513 573 0
338 -516 421 0
-409 52 -456 0
-27 256 492 0
300 597 548 0
117 409 403 0
-51 -272 -17 0
76 -219 255 0
222 -207 -589 0
489 -460 -256 0
-53 -509 -491 0
458 -164 364 0
-74 -60 -157 0
15 324 108 0
-107 329 597 0
-560 143 47 0
-6 178 -271 0
57 -142 239 0
474 166 509 0
51 -3 -496 0
84 -57 40 0
-76 151 -492 0
-355 -491 44 0
-433 268 -416 0
-515 -161 -475 0
590 268 -358 0
-543 298 49 0
20 444 407 0
247 236 430 0
281 459 -397 0
73 -322 -195 0
122 199 -179 0
392 150 563 0
377 -581 534 0
592 229 155 0
42 394 -218 0
-466 535 -431 0
-396 153 -569 0
-547 509 342 0
263 162 -463 0
494 -589 -264 0
225 -216 -415 0
330 -567 62 0
-190 230 422 0
567 -499 10 0
-206 436 -232 0
-91 351 -237 0
-589 302 -558 0
-245 -557 -440 0
172 -204 149 0
1 170 377 0
-384 -17 -280 0
335 -354 -215 0
-292 -81 501 0
-600 -169 321 0
282 191 441 0
432 310 399 0
335 -108 483 0
-336 -307 -107 0
-474 462 145 0
439 21 -511 0
-207 -470 -218 0
389 -237 383 0
-28 386 -592 0
-386 -320 532 0
410 -574 345 0
-329 -335 -546 0
269 -295 44 0
208 382 -192 0
-336 156 -354 0
-211 -400 -276 0
-140 -66 -462 0
-544 483 182 0
-164 -243 -367 0
-89 -259 -209 0
-127 544 216 0
332 -58 -535 0
-65 405 -268 0
15 -110 530 0
78 247 -573 0
-504 -125 138 0
-116 583 35 0
-366 403 230 0
-242 586 -424 0
-251 -517 -506 0
-484 600 123 0
-340 -310 71 0
-166 -231 582 0
-58 263 374 0
363 252 -563 0
-268 328 -515 0
-381 -400 597 0
-183 271 15 0
427 286 76 0
-313 552 265 0
475 123 135 0
538 29 201 0
-300 -566 456 0
-307 523 253 0
-489 -271 205 0
251 -270 -149 0
-189 288 522 0
178 -189 -330 0
441 55 495 0
324 331 -87 0
265 150 458 0
-186 -384 315 0
542 -513 -259 0
-45 161 -350 0
7 -170 -82 0
315 182 474 0
416 172 540 0
-584 -590 100 0
-195 -499 -312 0
411 -565 -161 0
-419 114 -140 0
-80 22 33 0
316 -413 -579 0
-164 80 391 0
-227 180 -439 0
-338 -319 481 0
358 493 -406 0
-205 9 69 0
221 -228 77 0
-329 -576 352 0
-302 387 -59 0
-161 341 444 0
515 227 458 0
-386 508 425 0
-9 -423 379 0
391 106 294 0
-231 344 -478 0
-283 -452 420 0
-596 104 -305 0
587 366 284 0
181 240 -455 0
-252 314 -366 0
-459 -234 -58 0
-272 555 485 0
-264 233 -562 0
-522 -182 -119 0
41 61 -54 0
115 -1 -283 0
-356 -443 385 0
58 575 587 0
127 101 -487 0
-328 -536 419 0
-36 231 557 0
-34 -545 441 0
342 389 151 0
-166 -391 -124 0
84 -191 -474 0
-347 269 283 0
-38 549 283 0
-175 82 508 0
552 204 225 0
159 476 22 0
426 545 267 0
-155 43 72 0
322 573 530 0
-359 443 238 0
307 237 -6 0
-394 376 -162 0
-71 -543 393 0
-286 -284 258 0
28 -341 -310 0
375 -26 -154 0
-508 95 -10 0
-303 -250 153 0
276 499 -426 0
-106 456 190 0
478 146 471 0
-150 255 -432 0
-482 526 -561 0
-303 -45 369 0
-29 389 -496 0
205 -558 -500 0
498 -586 -447 0
-187 147 -404 0
-254 -89 548 0
-178 155 -288 0
-8 -195 474 0
266 -255 -34 0
-551 543 -389 0
-392 346 394 0
-112 381 476 0
412 -217 -403 0
377 363 -498 0
-295 -554 445 0
57 -434 -37 0
167 -154 -343 0
-104 -359 -448 0
83 20 126 0
-72 217 1 0
147 42 184 0
-118 182 318 0
334 -458 474 0
-493 -480 267 0
263 -345 580 0
343 -225 -20 0
269 551 -316 0
-456 98 392 0
97 195 486 0
422 -134 -93 0
447 -100 -592 0
-371 -101 112 0
-189 329 445 0
-325 -466 -411 0
-283 -18 166 0
178 -302 49 0
570 -436 370 0
56 -537 8 0
185 331 524 0
115 13 557 0
374 -31 -46 0
317 532 493 0
237 -390 -130 0
552 -367 -85 0
-279 -11 506 0
-347 -180 -293 0
84 163 -505 0
-97 -333 -246 0
-377 -395 -123 0
500 -225 -27 0
175 -185 -71 0
191 190 464 0
-93 -324 -217 0
396 -397 -403 0
48 -174 -573 0
228 296 153 0
-108 541 -498 0
465 -195 -464 0
39 -354 -437 0
-350 -496 -388 0
511 -24 -251 0
107 -116 298 0
-209 -29 -476 0
394 -513 -508 0
457 -350 286 0
-539 514 187 0
-380 -30 -493 0
110 224 433 0
584 -439 -460 0
-262 -290 357 0
-420 339 -576 0
-204 374 -544 0
-463 -55 -407 0
-559 -2 86 0
345 -154 -258 0
164 485 -393 0
-475 -453 -346 0
175 -25 -527 0
-570 -597 -481 0
42 313 -64 0
-594 433 -454 0
81 -196 589 0
583 593 556 0
-600 -384 489 0
-517 -508 460 0
-385 -263 -500 0
-554 44 -79 0
-201 110 206 0
-270 -369 -11 0
-571 -158 320 0
250 240 -367 0
-380 -397 -312 0
181 208 -15 0
372 382 -215 0
301 232 -244 0
-574 -545 582 0
380 274 588 0
-120 -399 582 0
-181 -75 -257 0
-167 -161 -579 0
438 -176 191 0
-312 -158 -232 0
554 49 519 0
21 -215 -111 0
-294 528 287 0
56 103 -62 0
336 -400 248 0
-105 -90 271 0
-246 429 -478 0
555 424 339 0
-485 490 331 0
225 -39 131 0
11 517 46 0
214 -215 -86 0
221 -112 -570 0
276 -272 -588 0
574 315 -500 0
-280 235 70 0
250 446 208 0
-28 -441 -581 0
226 -35 494 0
-116 -163 -390 0
495 -538 195 0
-368 -596 582 0
416 327 125 0
363 7 -503 0
257 -19 -279 0
-516 141 309 0
-409 -553 246 0
278 -48 185 0
-397 -361 169 0
209 -240 -8 0
254 -562 487 0
-382 457 -70 0
-582 272 445 0
449 154 -203 0
-271 545 -404 0
458 533 230 0
-310 362 -374 0
-58 -580 -498 0
-336 38 205 0
-303 359 234 0
302 296 -120 0
-467 274 21 0
-43 -82 -448 0
-460 115 -335 0
517 383 -36 0
84 216 -479 0
-131 16 -66 0
127 344 -382 0
79 379 341 0
-194 -261 -506 0
-359 -393 -362 0
114 72 -382 0
-410 -222 265 0
381 -403 -98 0
-283 195 -13 0
306 78 -550 0
-347 152 -495 0
-427 305 301 0
578 -286 46 0
457 146 102 0
-387 -575 108 0
-106 210 -189 0
-497 -421 139 0
-553 -139 92 0
75 58 -168 0
-109 -558 325 0
-325 405 492 0
-589 34 416 0
564 190 193 0
-48 231 -553 0
291 473 467 0
491 558 -224 0
120 428 27 0
594 -204 -26 0
-368 151 139 0
-454 544 -197 0
-67 301 -595 0
180 -456 151 0
354 -70 484 0
-99 -500 238 0
180 -543 -342 0
-445 530 24 0
-126 22 169 0
-181 266 -341 0
-392 -439 237 0
108 97 -48 0
-402 -352 243 0
-147 -387 -252 0
580 243 -456 0
288 53 415 0
-191 21 -113 0
202 -578 -533 0
391 -426 -270 0
-459 -222 -260 0
36 321 421 0
-451 116 400 0
58 -60 -480 0
218 -520 -106 0
288 -197 -187 0
84 509 246 0
-68 355 -69 0
-185 2 -4 0
572 -249 457 0
260 -239 -297 0
-183 155 587 0
-464 -169 226 0
-326 162 39 0
599 321 531 0
-93 -385 -322 0
-128 -591 -157 0
-172 -119 -254 0
-317 -191 -19 0
412 387 496 0
-440 -279 249 0
-241 -231 -434 0
-223 -356 -267 0
-82 196 -277 0
570 -18 321 0
157 233 189 0
189 -83 72 0
334 -583 23 0
125 -87 -584 0
-505 -19 14 0
-122 195 -259 0
354 444 -365 0
195 -51 -536 0
-139 317 -315 0
-215 -436 342 0
49 -582 367 0
-501 -343 -552 0
156 172 -310 0
222 72 -189 0
-398 442 -273 0
-272 557 -303 0
211 -421 -34 0
-539 -402 -213 0
459 326 -88 0
-350 59 -1 0
446 238 596 0
-388 -486 -480 0
536 -297 509 0
37 -12 402 0
328 -391 -295 0
-378 -193 -550 0
-48 477 -125 0
378 -514 -532 0
-145 518 326 0
-373 -167 27 0
-138 126 -456 0
338 416 -178 0
-311 237 503 0
-159 -316 -109 0
-489 114 196 0
-491 -240 -241 0
402 278 78 0
551 201 -220 0
16 505 516 0
-556 408 122 0
-5 -85 286 0
-316 -434 550 0
-393 38 -387 0
-233 540 -152 0
-95 -295 215 0
590 -170 57 0
395 -109 260 0
96 -43 -78 0
-462 -428 -88 0
-592 -49 553 0
226 -562 -1 0
-233 -78 242 0
412 -357 219 0
138 40 -18 0
299 -295 -383 0
-258 370 261 0
285 -559 68 0
310 -515 -97 0
-464 -3 439 0
-427 2 509 0
148 -301 238 0
264 -510 336 0
413 376 -454 0
-534 424 -229 0
428 94 523 0
-274 26 -176 0
595 -486 -400 0
49 167 -88 0
451 68 139 0
547 591 -236 0
-141 159 54 0
-162 198 -459 0
-586 -562 -267 0
283 382 -538 0
63 310 -417 0
506 594 179 0
276 214 124 0
-59 -387 -524 0
-315 232 21 0
-270 -30 -214 0
264 -500 -501 0
-15 -426 -436 0
-129 579 -358 0
-568 233 -406 0
598 75 -448 0
-228 -432 -467 0
-564 -579 -359 0
-43 -141 87 0
-216 450 -172 0
-6 286 -256 0
506 -556 -154 0
-85 329 300 0
-457 192 198 0
385 -337 386 0
-146 -208 3 0
235 -430 473 0
-168 -63 328 0
558 7 -344 0
308 205 -491 0
-110 -398 -583 0
141 217 -122 0
-18 77 -548 0
344 13 -98 0
-63 -259 138 0
574 -65 -71 0
-318 -535 -347 0
422 318 -251 0
132 300 -475 0
590 124 -341 0
-501 134 -368 0
-15 -214 -100 0
-321 -36 -490 0
-394 325 -41 0
129 -454 393 0
-471 569 572 0
442 -264 -482 0
111 -24 310 0
3 -245 188 0
434 420 168 0
-420 529 -538 0
592 -320 359 0
186 6 -389 0
-449 385 554 0
8 -418 212 0
-251 -410 -192 0
-572 34 -317 0
-370 -7 113 0
294 488 332 0
-161 351 -560 0
329 45 -99 0
-433 -540 402 0
440 -124 409 0
-517 -506 -452 0
216 379 -411 0
-56 461 406 0
-460 -59 -28 0
423 95 -226 0
435 -391 -87 0
523 366 14 0
-311 387 269 0
562 467 -319 0
73 -428 -588 0
-184 -356 100 0
-523 -417 123 0
572 -590 -161 0
-580 438 485 0
-351 596 535 0
-582 -27 -264 0
571 224 244 0
470 -442 -99 0
-166 437 99 0
477 -171 187 0
-563 75 -147 0
215 331 91 0
424 -388 -559 0
407 -419 -517 0
166 -388 -589 0
393 -567 290 0
-331 38 -563 0
299 497 -133 0
81 -257 -22 0
-365 -77 -134 0
537 193 -325 0
-399 -563 -12 0
401 213 269 0
375 178 259 0
197 -47 -268 0
-588 354 152 0
287 580 131 0
519 154 24 0
74 509 -369 0
328 -474 -329 0
-540 506 223 0
49 -324 304 0
169 12 247 0
-131 524 -313 0
260 -498 31 0
449 -499 -442 0
-257 428 392 0
-202 -593 241 0
439 579 268 0
51 -306 -225 0
418 -432 162 0
-167 -154 -123 0
389 305 -367 0
163 504 -50 0
-44 -111 -464 0
-414 85 573 0
493 -93 -160 0
227 -355 -455 0
-441 -257 -403 0
315 483 528 0
-149 161 270 0
-462 344 480 0
-382 -596 260 0
572 405 -556 0
50 -153 183 0
363 -582 -177 0
-426 -178 -314 0
212 -599 -231 0
-259 305 144 0
188 389 567 0
285 -170 -161 0
-71 -70 -284 0
-564 -448 -431 0
-124 -277 179 0
-353 223 -548 0
329 -494 -577 0
-128 -299 -194 0
-213 -343 -252 0
-55 145 -484 0
-431 41 491 0
549 414 197 0
-480 531 -395 0
318 385 485 0
-179 426 440 0
394 -480 -56 0
-44 -347 356 0
191 562 64 0
352 357 201 0
-526 -278 -82 0
192 -88 -377 0
409 -340 455 0
-224 -432 290 0
-89 -365 -425 0
143 452 -62 0
205 -380 138 0
-42 -137 -215 0
-193 519 -532 0
329 -212 -309 0
-492 -61 462 0
178 423 -118 0
455 186 -52 0
-133 23 413 0
196 405 -297 0
-148 -404 516 0
567 -302 87 0
-233 -342 89 0
431 -367 -136 0
313 383 43 0
393 339 425 0
214 195 543 0
82 482 -25 0
-168 390 330 0
298 195 285 0
1 61 -430 0
-63 338 432 0
-467 -10 -325 0
-48 -478 -568 0
-594 -409 533 0
-331 566 -246 0
350 160 -371 0
550 -412 -376 0
-119 283 200 0
-98 -403 320 0
-372 -480 21 0
-167 -504 458 0
465 -106 351 0
-67 -537 -330 0
543 -241 60 0
-31 -38 313 0
-215 -53 23 0
138 -358 -284 0
177 452 -599 0
-447 -48 162 0
-364 -305 79 0
-308 -366 -360 0
178 28 408 0
-121 129 -538 0
-247 397 367 0
388 394 589 0
512 -404 8 0
577 115 -147 0
397 -194 -75 0
-504 -350 196 0
-389 141 -387 0
29 -311 -244 0
153 361 207 0
416 533 -476 0
-67 -158 197 0
-182 -545 -458 0
134 163 -351 0
243 -594 405 0
391 -504 337 0
-444 -594 -315 0
-61 259 496 0
399 283 447 0
-546 -401 -67 0
-165 -522 -108 0
139 -170 349 0
277 360 598 0
273 -262 483 0
424 -29 137 0
-561 192 54 0
-543 -261 82 0
77 560 583 0
-329 542 -147 0
266 492 76 0
-281 -61 -440 0
489 17 424 0
-496 -141 -272 0
246 -378 318 0
-205 139 -347 0
-293 -110 -294 0
437 -20 -160 0
-39 151 -435 0
-86 -372 203 0
356 208 339 0
-497 388 518 0
-78 -474 -331 0
-535 -140 435 0
-360 -380 501 0
400 201 -173 0
348 218 347 0
219 407 412 0
-514 359 -303 0
397 -537 322 0
583 -593 -297 0
129 -31 -345 0
73 482 454 0
-406 -248 -425 0
-61 -115 -363 0
128 320 182 0
93 200 39 0
347 -343 -272 0
372 453 -578 0
160 11 -483 0
314 -348 460 0
131 593 -167 0
-294 -555 -598 0
-597 60 -278 0
222 -203 410 0
84 276 -210 0
-384 -183 -174 0
-191 444 -119 0
-480 -559 -518 0
107 -437 -134 0
-376 -597 -199 0
326 -380 70 0
217 -142 191 0
250 -195 -184 0
-293 270 350 0
-492 198 -423 0
-530 -539 -181 0
301 203 196 0
538 310 294 0
71 -157 63 0
49 538 -462 0
-534 427 -568 0
14 581 50 0
-479 456 438 0
293 -568 -109 0
419 -126 -288 0
263 -155 -508 0
-116 330 -393 0
411 219 9 0
-551 -393 285 0
-56 88 -197 0
-3 -29 -243 0
-420 -508 552 0
-533 322 458 0
-391 -82 297 0
66 3 504 0
-8 -234 -272 0
432 -507 -183 0
203 -168 -453 0
559 27 -332 0
564 508 215 0
-6 -592 401 0
-382 -95 158 0
171 -382 567 0
-277 298 -244 0
99 -79 489 0
-591 -236 -553 0
439 379 283 0
200 305 -527 0
160 234 157 0
-296 -303 535 0
90 -517 -26 0
463 -554 -384 0
-21 102 -231 0
523 -396 -76 0
452 -427 -551 0
-298 397 282 0
421 -51 448 0
267 242 124 0
67 281 -181 0
-452 404 381 0
317 -67 584 0
-489 414 -550 0
89 -212 140 0
-98 73 -498 0
-281 -203 -196 0
414 371 401 0
-316 -336 315 0
-413 374 426 0
161 -221 104 0
-592 -354 -496 0
-314 319 -376 0
-371 516 197 0
230 150 -589 0
-488 190 -357 0
-102 316 -115 0
-207 -258 -229 0
-413 129 33 0
409 -364 362 0
-486 -172 -115 0
-139 318 47 0
-262 300 -549 0
166 -47 86 0
46 255 451 0
-139 138 550 0
-253 299 537 0
-359 -223 329 0
-73 -29 -546 0
-491 563 498 0
139 64 -526 0
-119 5 432 0
509 573 -394 0
210 449 113 0
157 79 119 0
548 -236 416 0
473 223 61 0
-510 -100 -594 0
-142 135 -241 0
-231 189 549 0
389 -594 -112 0
354 -463 510 0
456 -143 458 0
-387 -128 -171 0
7 -389 -591 0
-51 370 -334 0
-434 209 -181 0
158 -588 -94 0
353 -386 28 0
-39 -542 -44 0
-397 572 381 0
489 -239 26 0
213 121 528 0
274 -9 -73 0
431 -287 -377 0
111 426 502 0
19 334 -345 0
-121 533 -391 0
-346 252 -42 0
517 425 -204 0
-550 313 260 0
-587 428 476 0
593 -535 -386 0
-102 287 -563 0
513 -531 599 0
486 -335 121 0
-509 -218 -438 0
228 381 -13 0
520 -279 -360 0
391 328 -261 0
-108 502 -368 0
317 151 -491 0
-271 -467 90 0
414 -594 -490 0
-331 232 -60 0
-221 -434 -289 0
192 378 289 0
-97 406 -120 0
126 232 -310 0
64 -278 218 0
-89 -7 482 0
405 582 -577 0
366 494 -259 0
-239 220 288 0
325 354 -464 0
397 332 -351 0
-258 435 449 0
-586 -453 322 0
149 296 -576 0
471 429 436 0
541 43 -434 0
273 280 97 0
553 469 62 0
-404 -460 -249 0
-531 85 383 0
-149 -318 98 0
-8 217 -69 0
-457 4 -68 0
453 372 -583 0
-347 202 256 0
100 77 -182 0
576 309 224 0
402 67 157 0
-212 284 -125 0
-209 -36 515 0
-560 -590 141 0
-148 -270 -142 0
338 -424 529 0
-304 -242 -270 0
-600 575 -489 0
532 545 110 0
418 377 -44 0
28 -417 -462 0
-230 -131 488 0
-311 393 -250 0
-322 285 210 0
571 474 559 0
-544 -92 89 0
-184 -88 -208 0
-216 -370 -485 0
-535 158 250 0
-559 -173 352 0
60 -134 486 0
538 4 111 0
509 259 465 0
10 400 347 0
-134 80 322 0
23 468 -563 0
435 199 542 0
-36 554 518 0
296 -37 -90 0
559 -504 -78 0
285 -374 437 0
-38 108 355 0
-205 -563 207 0
355 124 -502 0
130 392 -176 0
187 172 61 0
155 87 -148 0
211 -75 340 0
-301 -356 149 0
-366 584 186 0
69 367 63 0
38 171 376 0
536 -8 78 0
410 473 -243 0
-58 429 255 0
-208 249 -173 0
489 -91 443 0
-469 2 -71 0
-379 -260 573 0
334 -104 -514 0
344 -401 -107 0
564 -441 436 0
-454 16 -336 0
32 544 -1 0
-132 -145 -193 0
546 -398 264 0
-108 -421 418 0
467 431 -15 0
159 -501 -134 0
-231 -136 357 0
354 168 -198 0
550 -581 279 0
-197 244 -478 0
-54 481 395 0
-474 -14 482 0
568 -262 -523 0
11 -34 -161 0
49 347 374 0
430 -235 -480 0
566 -173 493 0
409 487 -274 0
246 -268 562 0
231 -582 -181 0
-123 124 -60 0
537 68 -573 0
236 -443 11 0
52 -163 26 0
332 533 -191 0
-243 157 -566 0
-336 -529 -294 0
232 -273 289 0
-250 -312 -420 0
112 163 377 0
398 -17 454 0
561 -17 -424 0
4 -365 -409 0
128 589 573 0
301 -137 -236 0
-448 -366 121 0
-491 -106 187 0
160 -93 -318 0
463 -182 -7 0
-92 263 -439 0
208 411 -376 0
-361 231 391 0
506 510 -345 0
-23 430 462 0
-172 -203 -549 0
-125 338 598 0
-223 -401 -220 0
371 -2 -179 0
158 395 490 0
192 -175 375 0
406 466 100 0
219 535 298 0
504 222 -195 0
157 291 -305 0
-551 210 -253 0
385 308 374 0
-409 479 -472 0
383 50 518 0
-339 425 368 0
-307 542 491 0
-31 -347 -530 0
-477 -242 -180 0
-197 -155 493 0
449 -241 400 0
-540 99 491 0
61 -509 516 0
442 -149 -414 0
-513 119 -485 0
216 329 -283 0
462 335 -279 0
-90 -305 -421 0
-245 44 -27 0
523 184 -224 0
-431 -24 320 0
-101 34 -72 0
-538 5 56 0
-423 155 375 0
-446 -77 -503 0
10 -268 -548 0
423 411 -87 0
-116 -595 -428 0
-323 364 271 0
-287 596 433 0
-66 593 326 0
-9 562 -314 0
-183 546 46 0
372 -399 67 0
340 3 -376 0
272 127 179 0
-509 -313 -77 0
-314 -451 390 0
-507 -567 -233 0
9 330 -45 0
460 298 209 0
-133 -332 -338 0
45 234 -597 0
-18 20 -197 0
122 154 376 0
-205 -24 475 0
106 -207 -474 0
61 349 89 0
-53 -255 524 0
-410 504 385 0
407 -185 -377 0
-356 468 -185 0
-77 128 2 0
-230 -296 595 0
332 121 374 0
-54 -360 -439 0
-334 -200 -356 0
279 -259 406 0
438 -48 -217 0
-209 42 -116 0
-369 267 -240 0
-220 -75 121 0
-10 80 403 0
-291 -517 590 0
363 1 594 0
554 -93 128 0
292 272 171 0
184 339 -126 0
-202 490 -20 0
349 -599 -419 0
283 163 456 0
152 380 288 0
191 161 -69 0
-260 462 -141 0
217 -471 455 0
256 337 168 0
-222 -579 -35 0
-524 -194 485 0
596 479 178 0
406 376 -272 0
403 -584 -340 0
-313 3 -403 0
-174 378 149 0
5 -241 475 0
-548 441 -43 0
424 -472 168 0
405 576 -199 0
-256 501 -364 0
-407 -174 228 0
245 523 199 0
295 -353 -361 0
290 536 459 0
-396 308 375 0
489 238 -548 0
-328 189 364 0
-77 -454 397 0
-464 79 6 0
-559 57 -504 0
340 345 51 0
476 416 548 0
24 10 414 0
120 -530 133 0
445 378 -67 0
-287 280 101 0
-591 -495 -534 0
-560 29 68 0
487 -543 -388 0
177 -319 -287 0
13 362 383 0
-48 89 10 0
328 163 -346 0
-218 293 -303 0
259 292 -335 0
173 -468 528 0
-462 537 -73 0
-447 437 -302 0
-169 -432 257 0
339 422 -535 0
590 140 311 0
-416 -460 309 0
174 243 327 0
537 -216 -205 0
441 181 -365 0
-555 315 -285 0
177 -599 334 0
-196 -22 129 0
455 -543 -194 0
257 -348 -101 0
316 -377 333 0
-590 409 -257 0
-341 -491 -197 0
199 -486 -2 0
538 218 -504 0
-190 15 -369 0
156 595 -456 0
198 18 -317 0
-292 522 115 0
279 -390 119 0
-103 44 -151 0
400 386 200 0
117 -246 -157 0
-205 -409 316 0
146 51 -295 0
232 371 -269 0
119 -582 210 0
30 592 -581 0
517 295 564 0
-282 418 451 0
360 -514 -186 0
-259 -205 -574 0
525 137 -88 0
94 -346 385 0
-513 341 -43 0
-65 282 354 0
215 -556 -315 0
40 -403 -243 0
421 -497 -119 0
279 -32 572 0
-153 533 396 0
148 -181 574 0
283 -170 204 0
-285 119 137 0
-34 -89 -245 0
-151 -513 152 0
67 -269 -266 0
103 -75 299 0
-104 -174 -536 0
-569 592 -72 0
573 379 -428 0
-212 479 -545 0
-422 531 117 0
483 285 74 0
-217 401 152 0
302 501 562 0
-588 307 53 0
-162 501 -453 0
307 48 539 0
-109 302 -331 0
313 368 -156 0
308 120 250 0
-366 596 -167 0
-441 -457 104 0
468 376 257 0
-492 30 -398 0
-357 439 365 0
211 48 -62 0
482 -153 -458 0
199 -375 -321 0
304 305 -545 0
-192 -558 3 0
113 -541 -402 0
-418 -567 -40 0
-433 56 -27 0
129 -589 -97 0
-304 12 -293 0
145 -149 -239 0
-396 -394 -383 0
261 -288 -482 0
296 259 600 0
22 523 559 0
-8 549 264 0
364 -234 -539 0
-491 445 -25 0
-459 537 113 0
308 462 437 0
-209 -101 571 0
-36 -460 -337 0
-236 480 279 0
252 387 -308 0
-521 -527 405 0
-475 -139 114 0
-539 -199 -229 0
-484 308 -526 0
-310 533 297 0
-238 -557 -40 0
466 -153 564 0
467 -547 -237 0
458 405 470 0
412 -257 -397 0
-241 -44 -477 0
-433 8 -298 0
187 -226 221 0
-596 85 536 0
401 525 552 0
-491 -309 -473 0
241 94 -533 0
-508 -486 324 0
-596 -564 -71 0
-194 -584 268 0
256 -513 269 0
385 -126 219 0
5 451 -254 0
-394 -335 -111 0
-361 316 -275 0
-477 -140 -359 0
-368 420 404 0
493 405 479 0
155 -311 1 0
-194 260 -448 0
167 579 390 0
473 487 -93 0
-297 -405 375 0
-174 -502 225 0
-326 547 -488 0
-319 312 -439 0
-292 -460 -311 0
520 406 393 0
131 -436 47 0
29 -580 151 0
-324 -351 -61 0
-76 -268 -409 0
-163 -353 219 0
582 108 342 0
-382 -110 -201 0
-403 594 488 0
-228 529 484 0
33 -285 394 0
-511 478 251 0
322 -404 380 0
208 -219 207 0
-359 -31 164 0
448 48 -478 0
-313 257 -577 0
-357 510 -600 0
91 515 -596 0
499 -571 -534 0
349 -62 -87 0
-449 409 -155 0
43 431 83 0
-410 -572 14 0
-595 -267 119 0
-183 578 -136 0
-45 -340 -67 0
534 -163 -560 0
433 54 -138 0
-179 449 -451 0
149 536 -153 0
135 -504 327 0
-113 -266 17 0
24 583 579 0
-559 340 507 0
28 -481 80 0
107 -38 109 0
-54 89 -256 0
-18 600 394 0
-404 526 -12 0
127 221 -492 0
-307 -506 86 0
194 427 416 0
-465 401 -130 0
265 -73 -363 0
571 -386 27 0
277 -471 -130 0
-301 -134 502 0
-228 516 -83 0
501 -89 65 0
15 90 229 0
-535 -100 356 0
453 375 -464 0
32 -463 98 0
-76 110 -412 0
22 223 388 0
-331 -472 -156 0
-244 -496 -491 0
-59 -98 97 0
244 251 99 0
-245 -390 534 0
243 588 263 0
415 -38 -511 0
408 -485 -287 0
-179 -480 -110 0
35 -306 159 0
-43 374 -521 0
-181 201 -188 0
-560 -566 262 0
527 193 -314 0
-375 351 283 0
-206 -481 440 0
143 55 430 0
-191 -12 -58 0
-96 -387 -197 0
70 16 -218 0
315 -291 141 0
-398 -251 -145 0
-350 324 402 0
-98 345 556 0
-53 -323 236 0